O que é função injetora?

Uma função é considerada injetora se cada elemento do conjunto de partida tem um único mapeamento para o conjunto de chegada. Isso significa que diferente elementos no conjunto de partida não podem ser mapeados para o mesmo elemento no conjunto de chegada.

Em outras palavras, se f(x) = f(y), então x = y para todos os x, y no domínio da função. Isso implica que não pode haver elementos distintos no domínio que são mapeados para o mesmo elemento no contradomínio.

As funções injetoras são conhecidas também como funções unívocas ou injetivas. Elas são úteis em diversos contextos, como na criptografia, em bancos de dados, em matemática discreta, entre outros.

Uma maneira de verificar se uma função é injetora é através do teste de diferentes entradas para garantir que a propriedade de unicidade de mapeamento é respeitada.